Article 2216

Title of the article



Dubinin Viktor Nikolaevich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia),
Budagovskiy Dmitriy Aleksandrovich, Postgraduate student, Penza State University (40 Krasnaya street, Penza, Russia).
Drozdov Dmitriy Nikolaevich, Postgraduate student, Penza State University (40 Krasnaya street, Penza, Russia),
Artamonov Dmitriy Vladimirovich, Doctor of engineering sciences, professor, sub-department of autonomous information and control systems, Penza State University (40 Krasnaya street, Penza, Russia),

Index UDK





Background. The object of the research is control of discrete event dynamic systems (DEDS). The subject of the research is methods and tools for design of DEDS control on the basis of automata models. The goal of this work is to develop methods and tools for design and implementation of DEDS control based on programmablelogical controllers (PLC) using hierarchical modular nondeterministic automata (HMNA) which are an extension of the Vashkevich’s nondeterministic automata concept.
Materials and methods. To achieve the above-mentioned objectives, the methods of set theory, automata theory, Petri nets, net condition-event systems (NCES) as well as methods of PLC software development were used.
Results. The paper proposes an approach to basic HMNA modules implementation using IEC 61131-3 ladder diagrams (LD) and an approach to composite HMNA modules implementation using function block diagrams (FBD). The structure of tools to support design and implementation of HMNA-based DEDS control is suggested. And finally, the paper gives an example to demonstrate the proposed approaches.
Conclusions. The proposed methods and tools allow to: 1) reduce the cost of development, modification and maintenance of DEDS control; 2) increase the degree of re-using of design artifacts (e.g., automata modules); 3) to automate the development of DEDS control that in turn eventually leads to shortening of a period of DEDS control design.

Key words

discrete event dynamic systems, nondeterministic automata, control, module, design, implementation, tools, programmable logic controller, ladder diagram, function block diagram.

Download PDF

1. Cassandras C. G., Lafortune S. Introduction to Discrete Event Systems. Springer, 2008, 772 p.
2. Petrov I. V. Programmiruemye kontrollery. Standartnye yazyki i priemy prikladnogo programmirovaniya [Programmable controllers. Standard languages and methods of applied programming]. Moscow: SOLON-Press, 2004, 256 p.
3. International Standard IEC 61131-3 (edition 2.0): Programmable Controllers. International Electrotechnical Commission. Geneva, 2003, 230 p.
4. Frey G., Litz L. Proc. IEEE Conference on Systems, Man, and Cybernetics (SMC2000). Nashville, USA, 2000, Oct., pp. 2431–2436.
5. Shalyto A. A. SWITCH-tekhnologiya. Algoritmizatsiya i programmirovanie zadach logicheskogo upravleniya [SWITCH technology. Algorithmization and programming of logic control problems]. Saint-Petersburg: Nauka, 1998, 628 p.
6. Dierks H. Transformation-Based Reactive Systems Development (ARTS‘97). Springer LNCS, 1997, vol. 1231, pp. 111–125.
7. Shah S. S., Endsley E. W., Lucas M. R., Tilbury D. M. Proceedings of the 2002 American Control Conference. 2002, vol. 5, pp. 4153–4158.
8. Thapa D., Park S.C., Park C. M., Wang G.-N. Proceedings of the 2007 Summer Computer Simulation Conference (SCSC'07). San Diego, CA, USA, 2007, pp. 533–540.
9. Sacha K. Lecture Notes in Computer Science. 2007, vol. 4745, pp. 117–132.
10. Moura R. S., Guedes L. A. Computer Standards & Interfaces. 2012, no. 34, pp. 60–67.
11. Frey G. A, Younis M. B. Proc. IEEE International Conference on Information Reuse and Integration, IRI-2004. Las Vegas, USA, 2004, Nov., pp. 24–29.
12. Dubinin V. N., Drozdov D. N., Budagovskiy D. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2016, no. 1 (37), pp. 30–41.
13. Vashkevich N. P., Vashkevich S. N. Nedeterminirovannye avtomaty i ikh ispol'zovanie dlya sinteza sistem upravleniya [Non-deterministic automata and their application in control system sunthesis]. Penza: Izd-vo Penz. gos. un-ta, 1996, 88 p.
14. Fantuzzi C. A, Bonfe M., Fanfoni F., Secchi C. 18th IFAC World Congress (August 28 – September 2, 2011). Milano (Italy), 2011, vol. 18, part 1, pp. 9158–9163.
15. Simulink PLC Coder. Available at:
16. ViVe – VisualVerifier Tool Framework. Available at:


Дата создания: 30.09.2016 08:47
Дата обновления: 30.09.2016 09:50